Issue2985.agda:20,1-21,44
Termination checking failed for the following functions:
  u
Problematic calls:
  λ { .Unit.force j → u j }
    (at Issue2985.agda:21,18-43)
  u j
    (at Issue2985.agda:21,38-39)
